1. Architecting critical systems
پدیدآورنده: / Holger Giese (ed.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Fault-tolerant computing, Congresses,Computer architecture, Congresses,System design, Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F38I83
2010
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. Formal methods for software architectures :
پدیدآورنده: Marco Bernardo, Paola Inverardi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer architecture -- Congresses.,Computer software -- Congresses.,System design -- Congresses.
![](/design/images/bookmore.png)
3. Formal methods for software architectures :
پدیدآورنده: Marco Bernardo, Paola Inverardi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer architecture -- Congresses.,Computer software -- Congresses.,System design -- Congresses.
رده :
QA76
.
9
.
F67
M373
2003
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)